#include "cpu/exec/helper.h"

make_helper(push_ebp){
    cpu.esp-=4;
    swaddr_write(cpu.esp,4,cpu.ebp);
    cpu.eip++;
    return 0;
}